线性约束下双反对称矩阵扩充及其最佳逼近

首次提出并讨论了一类带有线性约束的双反对称矩阵扩充问题,得到了问题有解的充分必要条件,并给出了解的一般表达式.此外,还给出了解集合中与给定矩阵的最佳逼近解的表达式.     

一种面向变量传播的弧一致性算法

在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法(Improved-AC3),算法(Improved-AC3)完全脱离附加的数据结构,使得程序的空间复杂度非常小,也避免了新算法在维护数据结构上的开销,是一种空间复杂度优先的通用弧一致性算法.新算法对于通用弧一致性算法的改进效果是明显的,是对现有弧一致性算法的提高和完善,使其实用性更好,应用前景更宽.     

高阶单面非完整系统的Noether定理

研究高阶单面非完整系统的Noether定理及逆定理，首先给出系统的万有D‘Alembert原理及非等时变分；其次基于微分变分原理在无限小变换下的不变性，得到了高阶单面非完整系统的Noether定理及逆定理，最后举例说明结果的应用。     

求解带球约束的变分不等式问题的二次外梯度投影算法

二次外梯度投影算法是求解变分不等式问题的一种重要算法 .在这种算法中 ,每迭代一次需要计算两次投影 :第一次为到可行域上的投影 ,第二次为到可行域或可行域与一超平面的交上的投影 .本文对现有的变分不等式问题的二次外梯度投影算法进行分析 ,并对可行域为球的二次外梯度投影算法的计算过程进行简化 .最后 ,我们给出了数值分析 .     

一种混凝土重力坝分区弹模反演新方法

建立了一种解决实际工程中测点数少于待反演参数个数的混凝土重力坝分区弹模反演问题的新方法。这种方法利用已知的补充信息作为反演问题的物理约束条件，建立参数反演的多目标优化数学模型，解决了反演结果的惟一性问题；并且使用改进的模拟退火算法这种全局最优算法来求解大坝的分区弹模。数值算例表明，这种方法对大坝反演问题具有较高的识别精度，反演结果可靠，可以应用于实际工程。     

基于约束网络的多学科协同设计方法

针对多学科设计问题中约束条件过多过于复杂的情况 ,为了保证设计参数一次选取成功 ,提出了一种基于约束网络的多学科协同设计方法。该方法利用约束网络模型收集分属于不同学科的约束条件 ,并在设计期间监控这些约束关系。提出了反映协同设计需求的数学模型 ,设计了一个通用的一致性求解算法框架 ,并利用了基于区间代数的一致性算法。该方法能够在设计的初期就监控设计过程 ,有效地预报冲突。将该方法应用到铁路车辆的转向架设计中 ,已证明了它的有效性。     

The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multidisciplinary design consistency,This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique.The representation of design constraint,the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced.A constraint-satisfaction based conflict detection and resolution tool CSCDR is then developed.It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved.A design case illustrates the effectiveness of CSCDR.     

工矿车辆变速器设计方案的优化

装运设备多级变速器的布置方案及传动速度可有多种 ,本文分析了各种变速传动布置方案的优劣 ,介绍了一种简捷实用的多级变速器设计方案优化方法     

变质量高阶非线性非完整系统的相对论性分析力学理论

本文同时考虑具有质量分高或并入的变质量和相对论性变质量情况,构造一系列新型的变质量系统的相对论性动力学函数;在m次速度空间中,给出变质量系统的相对论性万有微分变分原理和积分变分原理的各种形式;考虑非完整约束条件,建立变质量高阶非线性非完整系统各种形式的相对论性运动微分方程,并研究这类系统守恒律存在的条件与形式.     

非线性双曲型方程混合问题的单调方法

本文用单调算子的方法讨论了较一般的非线性双曲型方程初边值问题,证明了广义解的存在唯一性。